#include "stdafx.h"
//#include "formal.h"
//#include <assert.h>
//
//
//signed int nondet_int()
//{
//   assert(0);
//   return 0;
//}
//
//unsigned int nondet_uint()
//{
//   static int counter = 0;
//   unsigned int value = 0;
//   switch (counter) {
//      case 0: value = 10; break;
//      default: assert(0);
//   }
//   counter += 1;
//   return value;
//}
//
//unsigned char nondet_uchar()
//{
//   assert(0);
//   return 0;
//}
//
//unsigned long nondet_ulong()
//{
//   assert(0);
//   return 0;
//}
//
//signed char nondet_char()
//{
//   assert(0);
//   return 0;
//}
//
//signed short nondet_short()
//{
//   assert(0);
//   return 0;
//}
//
//signed long nondet_long()
//{
//   assert(0);
//   return 0;
//}
//
//unsigned short nondet_ushort()
//{
//   assert(0);
//   return 0;
//}
//
//void fv_printState()
//{
//}
//
//void fv_endAtomicBlock()
//{
//}
//
//int fv_hint(int arg0)
//{
//   static int counter = 0;
//   int value = 0;
//   switch (counter) {
//      default: assert(0);
//   }
//   counter += 1;
//   return value;
//}
//
//void fv_watch(unsigned long long arg0)
//{
//}
//
//int fv_hasConcreteValue(unsigned long long arg0)
//{
//   static int counter = 0;
//   int value = 0;
//   switch (counter) {
//      default: assert(0);
//   }
//   counter += 1;
//   return value;
//}
//
//void fv_print(unsigned long long arg0)
//{
//}
//
//unsigned int fv_getBufferSize(const void* arg0)
//{
//   static int counter = 0;
//   unsigned int value = 0;
//   switch (counter) {
//      default: assert(0);
//   }
//   counter += 1;
//   return value;
//}
//
//void fv_beginAtomicBlock()
//{
//}
//
//unsigned long fv_getAllocationSize()
//{
//   static int counter = 0;
//   unsigned long value = 0;
//   switch (counter) {
//      default: assert(0);
//   }
//   counter += 1;
//   return value;
//}
//
//void fv_assume(int condition)
//{
//}
//
//void fv_assert(int condition)
//{
//   assert(condition);
//}
//
//
